Обсуждение:Теорема Дарбу в симплектической геометрии

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Нормальное доказательство есть у Ли, в монографии Ли, Энгель про контактные преобразования.

Трюк Мозера.. мда, а нет ли еще "современного" доказательства через, допустим HoTT? 91.199.244.4 12:26, 5 декабря 2023 (UTC)[ответить]